\begin{table}[htp]
\tbl{\label{tb:p2p}   \small Comparison of time and cost of different algorithms in the P2P domain.}{
\setlength{\tabcolsep}{3pt}
\small
\begin{tabular}{|l|c|c|c|c|c|c|c|c|c|c|c|c|}
\hline
 \multirow{3}{*}{P}& \multicolumn{2}{|c|}{MiniSAT} & \multicolumn{8}{|c|}{BB-DPLL} & \multicolumn{2}{|c|}{MCC} \\
 \cline{2-13}
 & \multicolumn{2}{|c|}{no-opt} & \multicolumn{2}{|c|}{base} & \multicolumn{2}{|c|}{+h} & \multicolumn{2}{|c|}{+heu} & \multicolumn{2}{|c|}{all} & \multicolumn{2}{|c|}{} \\
\cline{2-13}
 & T & C & T & C & T & C & T & C & T & C & T & C \\
\hline
1 & 4.9 & 1980 & 2800.8 & 1350 & 52.1 & 1060 & 43.57 & 520 & 60.4 & 520 & 46.02 & 520 \\ 
2 & 19.1 & 3560 & 39.6 & 2680 & 71.6 & 2600 & 1422.56 & 900 & 157.5 & 900 & 264.61 & 900 \\ 
3 & 134.0 & 6000 & 605.4 & 4380 & 948.8 & 4680 & 1109.60 & 1560 & 1156.8 & 1160 & 2756.51 & 1270  \\ 
4 & 4.2 & 2000 & 9.0 & 1550 & 11.9 & 1320 & 632.63 & 1320 & 12.0 & 1320 & 12.30 & 1320 \\ 
5 & 10.5 & 3310 & 27.7 & 2640 & 11.2 & 2640 & 53.97 & 2280 & 253.3 & 2320 & 235.74 & 2200 \\ 
6 & 22.5 & 4650 & 22.6 & 4010 & 23.0 & 3620 & 191.66 & 3560 & 193.2 & 3550 & 3391.76 & 3300 \\ 
7 & 61.6 & 6360 & 135.5 & 5620 & 624.2 & 5310 & 2757.37 & 4640 & 1121.9 & 4550 & 3350.47 & 4150 \\ 
8 & 122.1 & 5430 & 2560.3 & 4720 & 302.2 & 4960 & 3268.54 & 4190 & 3475.4 & 4180 & 1194.37 & 4260 \\ 
9 & 662.9 & 6960 & 942.2 & 6320 & 1390.5 & 6280 & 889.96 & 6140 & 454.8 & 6120 & 3244.80 & 5270 \\ 
10 & 757.8 & 4010 & 902.2 & 3730 & 680.7 & 3920 & 664.80 & 3600 & 228.2 & 3500 & - & - \\ 
11 & 45.1 & 3200 & 70.3 & 3010 & 61.2 & 2930 & 60.21 & 2700 & 58.2 & 2700 & 575.38 & 2700 \\ 
12 & 88.9 & 4190 & 529.9 & 3930 & 311.5 & 3890 & 99.36 & 3600 & 114.0 & 3600 & - & - \\ 
13 & 1675.4 & 5370 & 1867.0 & 4960 & 3381.7 & 5050 & 1784.79 & 4500 & 1056.8 & 4500 & - & - \\ 
14 & 3303.0 & 6770 & 3832.4 & 6440 & 3980.9 & 6400 & 2007.27 & 5600 & 2788.0 & 5600 & - & - \\ 
\hline
\end{tabular}
}
\end{table}
